Genus: Prodeinodon non OSBORN 1924

Species: tibetensis (faunal list in ZHANG & LI, 1997)emend RUIZ-OMENACA & CANUDO, 2003 (nomen nudum)
Etymology: In reference to Tibet.
= Prodeinodon tibetensis (faunal list in ZHANG & LI, 1997) (nomen nudum)

Holotype:

Locality: Laoran, Markam, China.

Horizon:

Biostratigraphy:

Age: Early Cretaceous.

Material: